closed set is compact